posit-else logical structrue

断定-否则逻辑结构